Project-Team:DAHU

Project-Team Dahu

Members

Overall Objectives

Research Program

Research Program

Application Domains

Application Domains

New Software and Platforms

New Software

New Results

Highlights of the Year
Distributed data management
Query Processing for the Web
Complexity in Counter Systems and Substructural Logics
Incomplete Databases

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year

Inria | Raweb 2014 | Presentation of the Project-Team DAHU | DAHU Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: New Results

Highlights of the Year

Victor Vianu was elected member of Academia Europaea.

Best Paper Award :

[21] Implicational Relevance Logic is 2-ExpTime-Complete in Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications.
S. Schmitz.

Previous |

Home | Next next